Finite model theory - PDFSEARCH.IO - Document Search Engine

Finite model theory
Results: 870

#	Item
841	A Short Course on Finite Model Theory Jouko Väänänen Add to Reading List Source URL: www.math.helsinki.fi Language: English - Date: 2001-10-11 09:40:15 Metalogic Finite model theory Ehrenfeucht–Fraïssé game Compactness theorem Elementary equivalence FO First-order logic Finitary relation Filter Model theory Mathematical logic Logic
842	Finite Automata and Their Decision Proble’ms# Abstract: Finite automata are considered in this paper a s instruments for classifying finite tapes. Each onetape automaton defines a set of tapes, a two-tape automaton defines a set of pairs of tapes, et cetera. The structure of the defined sets is studied. Various generalizations of the notion of an automaton are introduced Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2009-06-09 10:35:52 Applied mathematics Equivalence relation Nondeterministic finite automaton Regular language FO Sheaf Semigroup Model theory Tree automaton Automata theory Theoretical computer science Mathematics
843	On the Unusual Effectiveness of Logic in Computer Science £ Joseph Y. HalpernÝ Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2001-06-25 19:24:55 Computational complexity theory Descriptive complexity Relational model Complexity classes FO Descriptive complexity theory SO Relational database Relational algebra Theoretical computer science Applied mathematics Finite model theory
844	P = NP Vinay Deolalikar HP Research Labs, Palo Alto Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2010-08-08 08:45:30 Complexity classes Mathematical optimization Finite model theory Statistical models Graphical model P versus NP problem Markov random field Boolean satisfiability problem NP Theoretical computer science Computational complexity theory Applied mathematics
845	255°E (105°W) 250°E (110°W) Add to Reading List Source URL: planetarynames.wr.usgs.gov Language: English - Date: 2012-11-13 12:12:52 Polaris Award Amaimon language FO Finite model theory Latin alphabets
846	145°E (215°W) 140°E (220°W) Add to Reading List Source URL: planetarynames.wr.usgs.gov Language: English - Date: 2013-06-03 12:18:25 English orthography Polaris Award FO Finite model theory English phonology
847	66 ° Add to Reading List Source URL: planetarynames.wr.usgs.gov Language: English - Date: 2013-04-30 15:17:48 FO Finite model theory
848 $Field theory / Splitting field / Fundamental theorem of algebra / Ordered field / Field / Fundamental theorem of Galois theory / Real closed field / Factorization of polynomials over a finite field and irreducibility tests / Partial fraction / Abstract algebra / Algebra / Mathematics$	Notes on real-closed fields These notes develop the algebraic background needed to understand the model theory of real-closed fields. To understand these notes, a standard graduate course in algebra is Add to Reading List Source URL: euclid.colorado.edu Language: English - Date: 2013-04-05 17:28:46 Field theory Splitting field Fundamental theorem of algebra Ordered field Field Fundamental theorem of Galois theory Real closed field Factorization of polynomials over a finite field and irreducibility tests Partial fraction Abstract algebra Algebra Mathematics
849	A SPECIAL SUPPLEMENT TO THE FALL 2004 BANNER NEWSLETTER PREVIEW OF Thei Man in Omaha PUBLICATION DATE: DECEMBER 2004 Add to Reading List Source URL: www.omahahistory.org Language: English - Date: 2005-02-17 10:09:13 FO SO Ell Logic Finite model theory Measurement Mathematics
850	KIT REPORT 91 A Correspondence Theory for Terminological Logics: Preliminary Report Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2011-11-08 07:11:58 Non-classical logic Finite model theory Modal logic Philosophical logic Logic in computer science Dynamic logic FO Interpretation SO Logic Mathematical logic Mathematics

UPDATE